Re-Introducing Walther Schucking

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Walther Recursion

Primitive recursion is a well known syntactic restriction on recursive deenitions which guarantees termination. Unfortunately many natural deenitions, such as the most common deenition of Euclid's GCD algorithm, are not primitive recursive. Walther has recently given a proof system for verifying termination of a broader class of deenitions. Although Walther's system is highly automatible, the c...

متن کامل

(Re)introducing Regular Graph Languages

Distributions over strings and trees can be represented by probabilistic regular languages, which characterise many models in natural language processing. Recently, several datasets have become available which represent natural language phenomena as graphs, so it is natural to ask whether there is an equivalent of probabilistic regular languages for graphs. This paper presents regular graph lan...

متن کامل

Re-Introducing The Concept of Mind

[1] Imagine somebody whose enthusiasm for metaphysical musings is so matched by ineptitude that when his bank informs him that his account is overdrawn, he manages to convince himself that the modern banking system had created a new kind of Cosmic Substance: anti-cash, convertible into minus-pounds-sterling, nego-dollars, vac-euros, and so forth. Being a staunch ‘realist’ about all things, he d...

متن کامل

Questionnaire discrimination: (re)-introducing coefficient δ

BACKGROUND Questionnaires are used routinely in clinical research to measure health status and quality of life. Questionnaire measurements are traditionally formally assessed by indices of reliability (the degree of measurement error) and validity (the extent to which the questionnaire measures what it is supposed to measure). Neither of these indices assesses the degree to which the questionna...

متن کامل

Questionnaire discrimination : ( re ) - introducing coefficient delta

Background: Questionnaires are used routinely in clinical research to measure health status and quality of life. Questionnaire measurements are traditionally formally assessed by indices of reliability (the degree of measurement error) and validity (the extent to which the questionnaire measures what it is supposed to measure). Neither of these indices assesses the degree to which the questionn...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: European Journal of International Law

سال: 2011

ISSN: 0938-5428,1464-3596

DOI: 10.1093/ejil/chr054